Software flow control - PDFSEARCH.IO - Document Search Engine

Software flow control
Results: 1051

#	Item
41	S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2013-12-28 00:32:24 Method Object-oriented programming Data types Cross-platform software Virtual method table Dynamic dispatch Polymorphism Method overriding Objective-C Dangling pointer Control flow Pointer
42	Finding Error-Handling Bugs in Systems Code Using Static Analysis ∗ Cindy Rubio-González Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2014-11-10 23:12:54 Computer errors Control flow Memory management Computer networking Error code Errno.h Pointer Exception handling Error message Ext3 Software bug Write
43	APEx: Automated Inference of Error Specifications for C APIs Yuan Kang Baishakhi Ray Add to Reading List Source URL: rayb.info Language: English - Date: 2016-08-08 22:22:30 Control flow Application programming interfaces Software testing Exception handling Zlib Stack Error code OpenSSL Fault injection File system API Read
44	Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software Suman Saha Jean-Pierre Lozi Add to Reading List Source URL: coccinelle.lip6.fr Language: English - Date: 2013-06-27 14:20:07 Computer errors Object-oriented programming languages Control flow Computer networking Error code Ioctl Exception handling Kernel Linux kernel Software bug Swift Error detection and correction
45	Accepted at Haskell ’14 Effect Handlers in Scope Nicolas Wu Tom Schrijvers Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-06-10 11:26:04 Control flow Software design patterns Functional programming Monad Exception handling Syntax Functor Unix signal Scope IMP
46	Effective Concurrency through Algebraic Effects Stephen Dolan1 , Leo White2 , KC Sivaramakrishnan1 , Jeremy Yallop1 , and Anil Madhavapeddy1 1 University of Cambridge 2 Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Control flow Functional languages Abstract data types Continuations Software design patterns OCaml Delimited continuation Concurrent computing Thread Monad Queue Monitor
47	Automatically Detecting Error Handling Bugs using Error Specifications Suman Jana1 , Yuan Kang1 , Samuel Roth2 , and Baishakhi Ray3 1 Columbia University Northern University Add to Reading List Source URL: rayb.info Language: English - Date: 2016-08-08 22:22:30 Control flow Cryptographic software Internet security Software bugs Computer networking Error code Exception handling Transport Layer Security OpenSSL Assertion Error detection and correction Crash
48	Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2010-10-18 00:06:19 Software engineering Theoretical computer science Computing Logic in computer science Formal methods Programming language semantics Control flow Eval Functional languages Operational semantics Robert Bruce Findler Racket
49	CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters Yubin Xia† ‡, Yutao Liu† ‡, Haibo Chen†, Binyu Zang‡ †Institute of Parallel and Distributed Systems, Shanghai Jiao Tong Unive Add to Reading List Source URL: ipads.se.sjtu.edu.cn Language: English - Date: 2012-08-23 22:16:01 Central processing unit Machine code Software bugs Return-oriented programming Computer memory Instruction set architectures Buffer overflow protection Self-modifying code Subroutine Stack Return-to-libc attack Instruction set
50	VTrust: Regaining Trust on Virtual Calls Chao Zhang Scott A. Carr Tongxin Li Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming Computing Method Data types C++ Virtual method table Control-flow integrity Dangling pointer Method overriding Pointer Control flow